pub struct ConstAssert<const B: bool>;
pub trait IsTrue {}
impl IsTrue for ConstAssert<true> {}
